“Could a machine think?” asks John R. Searle in his paper Minds, Brains, and Programs. He answers that “only a machine could think1, and only very special kinds of machines, namely brains.”2 The subject of this paper is the analysis of the aforementioned question through presentation of the symbol manipulation approach to intelligence and Searle's well-known criticism to this approach, namely the Chinese room argument. The examination of these issues leads to the systems reply of the Chinese room argument and (...) tries to illustrate that Searle's response to the systems reply does not detract from the symbol manipulation approach. (shrink)

Due to his significant role in the development of computer technology and the discipline of artificial intelligence, Alan Turing has supposedly subscribed to the theory of mind that has been greatly inspired by the power of the said technology which has eventually become the dominant framework for current researches in artificial intelligence and cognitive science, namely, computationalism or the computational theory of mind. In this essay, I challenge this supposition. In particular, I will try to show that there (...) is no evidence in Turing’s two seminal works that supports such a supposition. His 1936 paper is all about the notion of computation or computability as it applies to mathematical functions and not to the nature or workings of intelligence. On the other hand, while his 1950 work is about intelligence, it is, however, particularly concerned with the problem of whether intelligence can be attributed to computing machines and not of whether computationality can be attributed to human intelligence or to intelligence in general. (shrink)

This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is (...) zero, a second which checks if base x is zero, a third that is able to copy the base, and a fourth able to multiply multiple factors (in this case, factors will be all equal). They were conveniently separated in order to ease the reader's task to understand each step of its operation. We adopt the convention that a number n is represented by a string of n+1 symbols "1". Thus, an entry (x, y) will be represented by two respective strings of x+1 and y+1 symbols "1", separated by a single "0" (or a blank), and as an output, this machine will generate a string of (xˆy)+1 symbols "1". Some of the instructions are followed by a brief description of what's going on. (shrink)

Since the beginning of the twenty-first century there has been an increasing awareness that software rep- resents a blind spot in new media theory. The growing interest in software also influences the argument in this paper, which sets out from the assumption that Alan M. Turing's concept of the universal machine, the first theoretical description of a computer program, is a kind of bachelor machine. Previous writings based on a similar hypothesis have focused either on a comparison of (...) the universal machine and the bachelor machine in terms of the similarities of their structural features, or they have taken the bachelor machine as a metaphor for a man or a computer. Unlike them, this paper stresses the importance of the con- text as a key to interpreting the universal Turing machine as a bachelor machine and, potentially, as a self-portrait. (shrink)

Given the personal acquaintance between Alan M. Turing and W. Ross Ashby and the partial proximity of their research fields, a comparative view of Turing’s and Ashby’s work on modelling “the action of the brain” (letter from Turing to Ashby, 1946) will help to shed light on the seemingly strict symbolic/embodied dichotomy: While it is clear that Turing was committed to formal, computational and Ashby to material, analogue methods of modelling, there is no straightforward mapping (...) of these approaches onto symbol-based AI and embodiment-centered views respectively. Instead, it will be demonstrated that both approaches, starting from a formal core, were at least partly concerned with biological and embodied phenomena, albeit in revealingly distinct ways. (shrink)

In Wollstonecraft’s early writings, she articulates the foundational theological and philosophical principles that would underpin her work throughout her career. One difference between her early and later work lies in the way that the values to which she refers are combined. Whereas Wollstonecraft at first appeals to the separate ideals of independence, equality, and virtue, from the 1790s onwards she integrates these into a characteristic republican framework that was in common use amongst dissenting theorists at the time. The set of (...) values on which Wollstonecraft draws, and the version of the republican framework that she develops, closely resemble those of Richard Price with whose work she was familiar. Examining the structural similarities between their respective models, I argue, gives us an insight into the systematic manner of aspects of Wollstonecraft’s own thought. It also allows us to see how Wollstonecraft goes beyond the republicanism of Price and others as she develops her own feminist solutions to the problems of structural domination. (shrink)

While the image of the slave as the antithesis of the freeman is central to republican freedom, it is striking to note that slaves themselves have not contributed to how this condition is understood. The result is a one-sided conception of both freedom and slavery, which leaves republicanism unable to provide an equal and robust protection for historically outcast people. I draw on the work of Frederick Douglass – long overlooked as a significant contributor to republican theory – to show (...) one way why this is so. Focusing the American Revolution, the subsequent republican government established new political institutions to maintain the collective interests of the whole population. The political revolution was held in place by processes of public reason that reflected the values and ideas of the people that had rebelled. The black population, however, had not been part of this revolution. After emancipation, black Americans were required to accept terms of citizenship that had already been defined, leaving them socially dominated, subject to the prejudices and biases within the prevailing ideas of public discourse. Douglass argued that republican freedom under law is always dependent on a more fundamental revolution, that he calls a ‘radical revolution in thought’, in which the entire system of social norms and practices are reworked together by members of all constituent social groups – women and men, black and white, rich and poor – so that it reflects a genuinely collaborative achievement. Only then can we begin the republican project of contestatory freedom as independence or non-domination that today’s republicans take for granted. (shrink)

Although they were never to meet and corresponded only briefly, Catharine Macaulay and Mary Wollstonecraft shared a mutual admiration and a strong intellectual bond. Macaulay’s work had a profound and lasting effect on Wollstonecraft, and she developed and expanded on many of Macaulay’s ideas. While she often took these in a different direction, there remains a great synergy between their ideas to the extent that we can understand Wollstonecraft’s own feminist arguments by approaching them through the frameworks and ideas that (...) Macaulay provided. These included the principles of classical republicanism, particularly in its understanding of the values of freedom, equality and virtue, and an understanding of reason as grounded in immutable principles that apply equally to both sexes. On the question of women’s freedom and social equality with men, I argue that though Macaulay sets up the problem in far richer and more detailed philosophical terms, in the end it is Wollstonecraft that has the more compelling account of its far-reaching social implications and of how this might be addressed. (shrink)

In spite of its everyday connotations, the term independence as republicans understand it is not a celebration of individualism or self-reliance but embodies an acknowledgement of the importance of personal and social relationships in people’s lives. It reflects our connectedness rather than separateness and is in this regard a relational ideal. Properly understood, independence is a useful concept in addressing a fundamental problem in social philosophy that has preoccupied theorists of relational autonomy, namely how to reconcile the idea of individual (...) human agency with the inevitable and necessary influence of other people, both directly and indirectly. I derive my account from the work of Mary Wollstonecraft and Catharine Macaulay, whose contributions have remained largely overlooked by current republican theorists. I have three purposes in this chapter. First, I set out the relational character of independence. Secondly, I outline a republican approach to the problem of structural social threats to agency. Finally, I hope to establish the basis for a fruitful dialogue between republicans and relational autonomy theorists on the requirements and dynamics of individual agency and freedom in oppressive social situations. I identify three distinctive features of the internal logic of freedom as independence that give it a relational character: it always locates the person within a community; there is a mediating role played by the notion of arbitrariness in connecting individual and collective perspectives; a causal relationship exists linking each person’s freedom as independence such that that the dependence of one class of persons jeopardizes the independence of the whole community. (shrink)

Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: (...) On the Need for a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

Catharine Macaulay was one of the most significant republican writers of her generation. Although there has been a revival of interest in Macaulay amongst feminists and intellectual historians, neo-republican writers have yet to examine the theoretical content of her work in any depth. Since she anticipates and addresses a number of themes that still preoccupy republicans, this neglect represents a serious loss to the discipline. I examine Macaulay’s conception of freedom, showing how she uses the often misunderstood notion of virtue (...) to reconcile the individual and collective elements inherent in the republican model. In her own analysis of the deep-rooted social obstacles that stand in the way of women becoming free, Macaulay identifies a serious problem that confronts all republicans, namely how to secure freedom in the face of entrenched structural imbalances that systematically disadvantage certain classes of person. In the end, I conclude that Macaulay herself cannot overcome the issues she raises. This in no way diminishes the importance of her work since her diagnosis is as relevant today as in her own time. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

We consider the varieties and directions of influence that the source and target domains involved in a conceptual metaphor can have on each other during the course of understanding metaphorical utterances based on the metaphor. Previous studies have been restricted both as to direction of influence and as to type of influence. They have been largely confined to the “forward” (source to target) direction of influence, and they have concentrated on the transfer of features or propositions and (to some extent) (...) the highlighting of aspects of a domain. By contrast, this article stresses the importance both of other varieties of influence (e.g., transfer of queries and uncertainty effects) and of “reverse” influence (target to source). We seek to curb the natural tendency to think that, because metaphor involves an overall move from source to target, therefore all inter-domain influences in the course of understanding go in that direction. The bulk of the article explores the theoretical issues involved. These issues have arisen out of a reasoning-based approach to metaphor, seeking to make best use of information from metaphorical utterance, context, source and target domains, and known metaphorical mappings, by applying a complex overall reasoning process. The article briefly explains the thorough implementation of reverse influence in a computer program for metaphorical reasoning called ATT-Meta, although the theoretical considerations are relevant to all disciplines concerned with metaphor. We make some suggestions for further computational and psychological research on metaphor. (shrink)

In recent years, educational institutions have started using the tools of commercial data analytics in higher education. By gathering information about students as they navigate campus information systems, learning analytics “uses analytic techniques to help target instructional, curricular, and support resources” to examine student learning behaviors and change students’ learning environments. As a result, the information educators and educational institutions have at their disposal is no longer demarcated by course content and assessments, and old boundaries between information used for assessment (...) and information about how students live and work are blurring. Our goal in this paper is to provide a systematic discussion of the ways in which privacy and learning analytics conflict and to provide a framework for understanding those conflicts. -/- We argue that there are five crucial issues about student privacy that we must address in order to ensure that whatever the laudable goals and gains of learning analytics, they are commensurate with respecting students’ privacy and associated rights, including (but not limited to) autonomy interests. First, we argue that we must distinguish among different entities with respect to whom students have, or lack, privacy. Second, we argue that we need clear criteria for what information may justifiably be collected in the name of learning analytics. Third, we need to address whether purported consequences of learning analytics (e.g., better learning outcomes) are justified and what the distributions of those consequences are. Fourth, we argue that regardless of how robust the benefits of learning analytics turn out to be, students have important autonomy interests in how information about them is collected. Finally, we argue that it is an open question whether the goods that justify higher education are advanced by learning analytics, or whether collection of information actually runs counter to those goods. (shrink)

There is increasing concern about “surveillance capitalism,” whereby for-profit companies generate value from data, while individuals are unable to resist (Zuboff 2019). Non-profits using data-enabled surveillance receive less attention. Higher education institutions (HEIs) have embraced data analytics, but the wide latitude that private, profit-oriented enterprises have to collect data is inappropriate. HEIs have a fiduciary relationship to students, not a narrowly transactional one (see Jones et al, forthcoming). They are responsible for facets of student life beyond education. In addition to (...) classrooms, learning management systems, and libraries, HEIs manage dormitories, gyms, dining halls, health facilities, career advising, police departments, and student employment. HEIs collect and use student data in all of these domains, ostensibly to understand learner behaviors and contexts, improve learning outcomes, and increase institutional efficiency through “learning analytics” (LA). ID card swipes and Wi-Fi log-ins can track student location, class attendance, use of campus facilities, eating habits, and friend groups. Course management systems capture how students interact with readings, video lectures, and discussion boards. Application materials provide demographic information. These data are used to identify students needing support, predict enrollment demands, and target recruiting efforts. These are laudable aims. However, current LA practices may be inconsistent with HEIs’ fiduciary responsibilities. HEIs often justify LA as advancing student interests, but some projects advance primarily organizational welfare and institutional interests. Moreover, LA advances a narrow conception of student interests while discounting privacy and autonomy. Students are generally unaware of the information collected, do not provide meaningful consent, and express discomfort and resigned acceptance about HEI data practices, especially for non-academic data (see Jones et al. forthcoming). The breadth and depth of student information available, combined with their fiduciary responsibility, create a duty that HEIs exercise substantial restraint and rigorous evaluation in data collection and use. (shrink)

“Big Data” and data analytics affect all of us. Data collection, analysis, and use on a large scale is an important and growing part of commerce, governance, communication, law enforcement, security, finance, medicine, and research. And the theme of this symposium, “Individual and Informational Privacy in the Age of Big Data,” is expansive; we could have long and fruitful discussions about practices, laws, and concerns in any of these domains. But a big part of the audience for this symposium is (...) students and faculty in higher education institutions (HEIs), and the subject of this paper is data analytics in our own backyards. Higher education learning analytics (LA) is something that most of us involved in this symposium are familiar with. Students have encountered LA in their courses, in their interactions with their law school or with their undergraduate institutions, instructors use systems that collect information about their students, and administrators use information to help understand and steer their institutions. More importantly, though, data analytics in higher education is something that those of us participating in the symposium can actually control. Students can put pressure on administrators, and faculty often participate in university governance. Moreover, the systems in place in HEIs are more easily comprehensible to many of us because we work with them on a day-to-day basis. Students use systems as part of their course work, in their residences, in their libraries, and elsewhere. Faculty deploy course management systems (CMS) such as Desire2Learn, Moodle, Blackboard, and Canvas to structure their courses, and administrators use information gleaned from analytics systems to make operational decisions. If we (the participants in the symposium) indeed care about Individual and Informational Privacy in the Age of Big Data, the topic of this paper is a pretty good place to hone our thinking and put into practice our ideas. (shrink)

Higher education institutions are mining and analyzing student data to effect educational, political, and managerial outcomes. Done under the banner of “learning analytics,” this work can—and often does—surface sensitive data and information about, inter alia, a student’s demographics, academic performance, offline and online movements, physical fitness, mental wellbeing, and social network. With these data, institutions and third parties are able to describe student life, predict future behaviors, and intervene to address academic or other barriers to student success (however defined). Learning (...) analytics, consequently, raise serious issues concerning student privacy, autonomy, and the appropriate flow of student data. We argue that issues around privacy lead to valid questions about the degree to which students should trust their institution to use learning analytics data and other artifacts (algorithms, predictive scores) with their interests in mind. We argue that higher education institutions are paradigms of information fiduciaries. As such, colleges and universities have a special responsibility to their students. In this article, we use the information fiduciary concept to analyze cases when learning analytics violate an institution’s responsibility to its students. (shrink)

"We wish this volume to be a sure companion to the study of free will, broadly construed to include action theory, moral and legal responsibility, and cohort studies feathering off into adjacent fields in the liberal arts and sciences. In addition to general coverage of the discipline, this volume attempts a more challenging and complementary accompaniment to many familiar narratives about free will. In order to map out some directions such accompaniment will take, in this introduction we anchor the thirty (...) contributions to this volume in some common history from which they arise, and attempt to indicate where future work in free will and moral responsibility will–and has already begun to–depart from that history." -Excerpt from Introduction. ... ... To read full introduction, (1) download attached file or (2) follow wiley_dot_com link below, click "Read An Excerpt", then click :Excerpt 3:(pdf)". (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

A review of the third edition of Women and Values, edited by M. Pearsall.

Bilim felsefesinin en temel problemlerinden biri olan sınırlandırma problemi belirli bir ölçüt vasıtası ile bilimi, bilimsel olmayan ya da sahte/sözde bilim olan etkinliklerden ayırt edip edemeyeceğimizi konu edinmektedir. Literatüre baktığımızda felsefeciler –özellikle bilim felsefecileri– bilimin doğasını karakterize etme girişiminde bulunurken bilim dilinin mantıksal yapısına ya da bilimin tarihsel süreçlerine odaklanarak, bilimi bilimsel olmayan ya da sahte-bilim olan etkinliklerden ayırt etmişlerdir. Bu çalışma ise farklı bir yaklaşım benimseyerek sınırlandırma problemine, felsefecilerin değil, bilim insanlarının perspektifi ile bakmayı amaçlamaktadır. Bu sebeple alanında deneyimli (...) ve çeşitli bilim dallarında profesör olan otuz bilim insanı ile niteliksel araştırma yöntemlerinden biri olan yapılandırılmış görüşme tekniği uygulanmıştır. Bu görüşmeler aracılığıyla bilim insanlarının sınırlandırma problemi hususunda öne sürdükleri görüşler açığa çıkartılıp değerlendirilmiştir. Değerlendirme neticesinde üç temel bulguya ulaşılmıştır. İlki, sınırlandırma problemine ilişkin sorularımıza bilim insanları tarafından getirilen yanıtların birçoğu temel felsefi yaklaşımlarla uyuşmaktadır. Elde ettiğimiz verileri farklı temalar altında analiz ettiğimiz bu çalışmada, sınırlandırma problemine dair yaygın felsefi görüşlerin, bilim insanlarının görüşleri ile anlamlı benzerlikler taşıdığı kısımlar vurgulanmıştır. İkincisi, sınırlandırma problemi ve bu problemlerle ilişkili diğer meseleler üzerinde felsefi olarak sağlanamayan uzlaşma, bilim insanları arasında da mevcuttur. Ne var ki bu ihtilaf dengeli bir biçimdedir, öyle ki benzer yanıtlara sahip olan bilim insanları baskın bir grup sayısına ulaşmamıştır. Üçüncü ve son olarak, bilim insanlarının bilim felsefesinin temel problemlerine yüksek oranda yabancı olduğu görülmektedir. Bu bulgu, her ne kadar nicel olmayan bir yolla ölçülmüşse de verilerin dikkatli analizi durumun bu yönde olduğunu göstermektedir. Tüm bu temel bulgular ışığında, genel değerlendirmemiz, farklı türden yapılandırılmış görüşmelerin çok daha detaylı sonuçlar temin edebileceğidir. (shrink)

Bilimsel soyutlama temsil edilecek belirli bir hedefin sahip olduğu bazı özelliklerin ihmal edilmesi işlemidir. Her temsil tanım gereği soyutlama içermektedir. Nitekim temsili yapılacak ya da modellenecek hedef sistemde ihmal edilmesi uygun görülen birçok faktör bulunmaktadır. Soyutlamanın bilimsel araştırma için vazgeçilmez bir unsur olduğu fikri tartışma götürmeyecek düzeyde bir hakikat olarak görülmektedir. Ne var ki temsile ilişkin bu işlemin doğası hususunda böylesi tartışmasız bir hakikate sahip değiliz. Bu makalede, ilk olarak, soyutlamaya ait felsefi literatürde yer alan kimi standart görüşleri ele (...) alıyorum. Daha sonra standart görüşlere göre soyutlamanın çok daha rafine versiyonu detaylı olarak analiz edip bu görüşün, bilimde görsel temsillerden biri olan kartografik haritalar için yeterli bir kuramsal zemin sağlamadığını ileri sürüyorum. (shrink)

The papers you will find in this special issue of JoLLI develop letter and spirit of Turing’s original contributions. They do not lazily fall back into the same old sofa, but follow – or question – the inspiring ideas of a great man in the search for new, more precise, conclusions. It is refreshing to know that the fertile landscape created by Alan Turing remains a source of novel ideas.

Bu çalışmanın amacı, okuma kültürünün geliştirilmesine yönelik aile farkındalık programının (OKGYAFP) çocukta okuma kültürü oluşturmaya yönelik aile yeterliliğine etkisini belirlemek ve ailelerin OKGYAFP deneyimlerinin okuma kültürü oluşturmaya yönelik yeterliliklerini nasıl değiştirdiğini keşfetmektir. Bu nedenle çalışmada karma yöntem araştırma desenlerinden açımlayıcı sıralı karma desen kullanılmıştır. Araştırmanın nicel aşamasında öntest-sontest kontrol gruplu yarı deneysel desen tercih edilmiştir. Nitel aşamasında ise odak grup görüşmeleri yapılmıştır. Araştırmanın nicel boyutunun katılımcılarını Aydın ili Köşk ilçesinde bulunan bir devlet okulunun iki 2. sınıf şubesinin gönüllü velileri (n=30) (...) oluşturmuştur. Nitel boyutunun çalışma grubunu ise araştırmanın deney grubunda yer alan velilerden gönüllü 10 kişi oluşturmuştur. Araştırmada veri toplama aracı olarak Okuma Kültürü Oluşturmada Aile Yeterliliği Ölçeği ve görüşme formu kullanılmıştır. Bu araştırmanın nicel verilerinin analizi için betimsel istatistiklerin yanı sıra tek yönlü kovaryans analizinden (ANCOVA) yararlanılmıştır. Nitel veriler ise içerik analizi yöntemiyle çözümlenmiştir. Araştırmanın bulgularına göre deney grubu velilerinin okuma kültürü oluşumunda aile yeterliliği son test puanlarının anlamlı düzeyde farklılaştığı görülmüştür. Ayrıca OKGYAFP’nin deney grubunu oluşturan veliler üzerinde okuma kültürü ediniminde aile yeterliliği noktasında yüksek etkiye sahip olduğu bulgusuna da ulaşılmıştır. Araştırma sonucunda aileler programın okuma kültürü bağlamında farkındalık oluşturduğunu ifade etmiştir. Katılımcı ailelerin programın sonunda okuma kültürü oluşturmada aile yeterliliği düzeyleri ile programa ilişkin görüşlerinin tam olarak örtüştüğü de görülmüştür. (shrink)

El Test de Turing es un método tan controvertido como desafiante en Inteligencia Artificial. Se basa en la imitación de la conducta lingüística de humanos, y tiene como objetivo recabar evidencia empírica en favor de la tesis de que las máquinas programadas podrían pensar. Alan Turing, su creador, ha sido catalogado como conductista por la mayor parte de los comentaristas. En este capítulo muestro que no lo es. Por el contrario, Turing es un funcionalista, porque todo (...) el énfasis del juego de la imitación está en el engaño de la máquina hacia los humanos. Por ello el género es importante en dicho juego, al menos en su versión preliminar. (shrink)

Non-cognitivists claim that thick concepts can be disentangled into distinct descriptive and evaluative components and that since thick concepts have descriptive shape they can be mastered independently of evaluation. In Non-Cognitivism and Rule-Following, John McDowell uses Wittgenstein’s rule-following considerations to show that such a non-cognitivist view is untenable. In this paper I do several things. I describe the non-cognitivist position in its various forms and explain its driving motivations. I then explain McDowell’s argument against non-cognitivism and the Wittgensteinian considerations upon (...) which it relies, because this has been sufficiently misunderstood by critics and rarely articulated by commentators. After clarifying McDowell’s argument against non-cognitivism, I extend the analysis to show that commentators of McDowell have failed to appreciate his argument and that critical responses have been weak. I argue against three challenges posed to McDowell, and show that the case of thick concepts should lead us to reject non-cognitivism. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Applications and devices of artificial intelligence are increasingly common in the healthcare field. Robots fulfilling some caregiving functions are not a distant future. In this scenario, we must ask ourselves if it is possible for machines to care to the extent of completely replacing human care and if such replacement, if possible, is desirable. In this paper, I argue that caregiving requires know-how permeated by affectivity that is far from being achieved by currently available machines. I also maintain that the (...) complete substitution of machine caregiving for human caregiving is not desirable because caregiving requires genuine human connection. (shrink)

In 1951 John Rawls expressed these convictions about the fundamental issues in metaethics: [T]he objectivity or the subjectivity of moral knowledge turns, not on the question whether ideal value entities exist or whether moral judgments are caused by emotions or whether there is a variety of moral codes the world over, but simply on the question: does there exist a reasonable method for validating and invalidating given or proposed moral rules and those decisions made on the basis of them? For (...) to say of scientific knowledge that it is objective is to say that the propositions expressed therein may be evidenced to be true by a reasonable and reliable method, that is, by the rules and procedures of what we may call "inductive logic"; and, similarly, to establish the objectivity of moral rules, and the decisions based upon them, we must exhibit the decision procedure, which can be shown to be both reasonable and reliable, at least in some cases, for deciding between moral rules and lines of conduct consequent to them.1 In this passage Rawls reconfigured the issue of moral objectivity and so reoriented the practice of metaethics from linguistic analysis to rational methodology. In so doing, his work has provided inspiration to philosophers as disparate in normative views as Thomas Nagel,2 Richard Brandt3, Alan Gewirth4, and David Gauthier.5 Rawls replaced the Moorean question, Do moral terms refer? with the Rawlsian question, Can moral judgments be the outcome of a rational and reliable procedure? He later gave a resoundingly positive answer to this question6 and later still, a more tentative one.7 Rawls' considered qualification of his earlier enthusiasm about the extent to which moral philosophy could be "part of the theory of rational choice"8 is a tribute to the seriousness with which he took his critics' objections. (shrink)

This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply. -/- The book is divided into eight parts, covering different aspects of Turing’s life and work. -/- Part I presents various biographical aspects of Turing, some (...) from a personal point of view. -/- Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science. -/- Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently. -/- Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester. Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950. -/- Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited. -/- Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester. -/- Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness. -/- Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them. -/- For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40. With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap. -/- We hope that you enjoy this volume as part of your library and that you will dip into it whenever you wish to enter the multifaceted world of Alan Turing. (shrink)

In the 70 years since Alan Turing’s ‘Computing Machinery and Intelligence’ appeared in Mind, there have been two widely-accepted interpretations of the Turing test: the canonical behaviourist interpretation and the rival inductive or epistemic interpretation. These readings are based on Turing’s Mind paper; few seem aware that Turing described two other versions of the imitation game. I have argued that both readings are inconsistent with Turing’s 1948 and 1952 statements about intelligence, and fail to (...) explain the design of his game. I argue instead for a response-dependence interpretation. This interpretation has implications for Turing’s view of free will: I argue that Turing’s writings suggest a new form of free will compatibilism, which I call response-dependence compatibilism. The philosophical implications of rethinking Turing’s test go yet further. It is assumed by numerous theorists that Turing anticipated the computational theory of mind. On the contrary, I argue, his remarks on intelligence and free will lead to a new objection to computationalism. (shrink)

The main goal of this essay is to demonstrate the creativity of computational systems (both living and non-living) through a philosophical interpretation of Alan Turing's halting theorem. The first part consists of a brief genealogy of studies focused on the analogy between humans and machines, with a specific focus on the issue of creativity. It aims to show how, since the publication of Turing's 1950 paper Computing Machinery and Intelligence, a subjectivist approach has become dominant in these (...) studies—namely, the tendency to shift the locus of inquiry into machine intelligence and creativity from the machines themselves to their observers, inferring the potential of the former from the latter’s reactions of surprise. We will demonstrate how this approach has, over time, downplayed the question of whether machines are genuinely creative (as explored by Boden) and has instead anchored research on the premise that creativity lies in the eyes of the beholder (as proposed by Ritchie. As an alternative to this approach, the second part will attempt to revive an objectivist perspective, showing how it is possible—once again drawing on Turing—to argue for the real creativity of machines. However, this will be done by leveraging the important philosophical implications of the logical-mathematical results Turing achieved in his 1936 paper on computable numbers. In the conclusion, the essay will propose identifying the equivalent of real machine creativity in the human ability to take one thing for another—a concept described by Cornelius Castoriadis as a quid pro quo intrinsic to language understood as a code. This ability enables individuals to consistently align experiential data with their own rules. (shrink)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we (...) have adopted a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

On a literal reading of `Computing Machinery and Intelligence'', Alan Turing presented not one, but two, practical tests to replace the question `Can machines think?'' He presented them as equivalent. I show here that the first test described in that much-discussed paper is in fact not equivalent to the second one, which has since become known as `the Turing Test''. The two tests can yield different results; it is the first, neglected test that provides the more appropriate (...) indication of intelligence. This is because the features of intelligence upon which it relies are resourcefulness and a critical attitude to one''s habitual responses; thus the test''s applicablity is not restricted to any particular species, nor does it presume any particular capacities. This is more appropriate because the question under consideration is what would count as machine intelligence. The first test realizes a possibility that philosophers have overlooked: a test that uses a human''s linguistic performance in setting an empirical test of intelligence, but does not make behavioral similarity to that performance the criterion of intelligence. Consequently, the first test is immune to many of the philosophical criticisms on the basis of which the (so-called) `Turing Test'' has been dismissed. (shrink)

Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There are (...) hopes it can be adapted to other contexts besides that game show, in the role of a collaborator of, rather than a competitor to, humans. Another, different, research project—an artificial intelligence program put into operation in 2010—is the machine learning program NELL (Never Ending Language Learning), which continuously ‘learns’ by ‘reading’ massive amounts of material on millions of web pages. Both of these recent endeavors in artificial intelligence rely to some extent on the integration of human guidance and feedback at various points in the machine’s learning process. In this paper, I examine Turing’s remarks on the development of intelligence used in various kinds of search, in light of the experience gained to date on these projects. (shrink)

Turing’s much debated test has turned 70 and is still fairly controversial. His 1950 paper is seen as a complex and multilayered text, and key questions about it remain largely unanswered. Why did Turing select learning from experience as the best approach to achieve machine intelligence? Why did he spend several years working with chess playing as a task to illustrate and test for machine intelligence only to trade it out for conversational question-answering in 1950? Why did (...) class='Hi'>Turing refer to gender imitation in a test for machine intelligence? In this article, I shall address these questions by unveiling social, historical and epistemological roots of the so-called Turing test. I will draw attention to a historical fact that has been only scarcely observed in the secondary literature thus far, namely that Turing’s 1950 test emerged out of a controversy over the cognitive capabilities of digital computers, most notably out of debates with physicist and computer pioneer Douglas Hartree, chemist and philosopher Michael Polanyi, and neurosurgeon Geoffrey Jefferson. Seen in its historical context, Turing’s 1950 paper can be understood as essentially a reply to a series of challenges posed to him by these thinkers arguing against his view that machines can think. Turing did propose gender learning and imitation as one of his various imitation tests for machine intelligence, and I argue here that this was done in response to Jefferson's suggestion that gendered behavior is causally related to the physiology of sex hormones. (shrink)

This paper commences from the critical observation that the Turing Test (TT) might not be best read as providing a definition or a genuine test of intelligence by proxy of a simulation of conversational behaviour. Firstly, the idea of a machine producing likenesses of this kind served a different purpose in Turing, namely providing a demonstrative simulation to elucidate the force and scope of his computational method, whose primary theoretical import lies within the realm of mathematics rather than (...) cognitive modelling. Secondly, it is argued that a certain bias in Turing’s computational reasoning towards formalism and methodological individualism contributed to systematically unwarranted interpretations of the role of the TT as a simulation of cognitive processes. On the basis of the conceptual distinction in biology between structural homology vs. functional analogy, a view towards alternate versions of the TT is presented that could function as investigative simulations into the emergence of communicative patterns oriented towards shared goals. Unlike the original TT, the purpose of these alternate versions would be co-ordinative rather than deceptive. On this level, genuine functional analogies between human and machine behaviour could arise in quasi-evolutionary fashion. (shrink)

In his 1950 paper “Computing Machinery and Intelligence,” Alan Turing proposed that we can determine whether a machine thinks by considering whether it can win at a simple imitation game. A neutral questioner communicates with two different systems – one a machine and a human being – without knowing which is which. If after some reasonable amount of time the machine is able to fool the questioner into identifying it as the human, the machine wins the game, and (...) we should conclude that it thinks. This imitation game, now known as the Turing Test, has been much discussed by philosophers of mind, and for more than half a century now there has been considerable debate about whether it is an adequate test for thinking. But what has not been much discussed are the sexed presuppositions underlying the test. Too often forgotten in the philosophical discussion is the fact that Turing’s imitation game is modeled on an imitation game in which a neutral questioner communicates with two different humans – one a man and one a woman – without knowing which is which. In this original imitation game, the man wins the game if he is able to fool the questioner into identifying him as the woman. In this paper, I explore the implications of this set-up. As I argue, the fact that the Turing test was modeled on a man/woman imitation game seems to have led us astray in various ways in our attempt to conduct an effective investigation and assessment of computer intelligence. (shrink)

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that (...) the conditions Solovay identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)

Bilim tarihi çalışmaları belirli bir bilim imgesi ışığında yapılır ve söz konusu imgeyi yeniden üretir. Bu nedenle bilim tarihi ve bilim felsefesi bir bütün olarak ele alınmalıdır. Ancak var olan bilim tarihi yazımı geleneği kimi zaman bilim felsefesi alanında bazı önemli değişimleri yansıtmayı güçleştirmektedir. Bu yazıda Mary Anning örneği üzerinden gözlemin kuram yüklü olduğu görüşünün bilim tarihi yazımını nasıl yönlendirmesi gerektiğini tartıştım. -/- Research in history of science is conducted in light of some image of science and in the end (...) it reproduces that image. Hence history of science and philosophy of science should be considered as a whole. Yet the existing tradition in historiography of science sometimes obstructs reflecting some important changes in philosophy of science. In this article I discussed how the view that observation is theory laden, should influence historiography of science by means of the case of Mary Anning. (shrink)

Bu çalışmada; bilim, sözdebilim ayrımına yönelik tasarlanan öğretim etkinliklerinin, 7. sınıf öğrencilerinin sözdebilimsel inançlarına ve eleştirel düşünme becerilerine etkisini araştırmak ayrıca hangi bilimsellik ve hatalı bilimsellik ölçütlerine sahip olduklarını belirlemek amaçlanmıştır. Bu amaçlar doğrultusunda araştırmanının modeli iç içe karma desen olarak belirlenmiştir. Çalışma, 2018-2019 eğitim öğretim yılının ikinci döneminde, Kocaeli ili Başiskele ilçesinde bulunan bir devlet ortaokulunda gerçekleştirilmiştir. Çalışmanın nicel kısmında bir deney (n=29) ve bir kontrol (n=30) grubu olmak üzere 59 öğrenci, nitel kısmında ise deney grubunda bulunan 29 öğrenci (...) bulunmaktadır. On hafta süren araştırmada deney grubunda; farklı sözdebilimsel içerikler yer alan bilim, sözde–bilim ayrımı bağlamında hazırlanan etkinlikler ile öğretim gerçekleştirilmiş, kontrol grubundaysa mevcut öğretim programında öngörülen etkinliklerle ders işlenmiştir. Çalışmaların tamamı seçmeli bilim uygulamaları derslerinde gerçekleştirilmiştir. Veri toplama aracı olarak; Sözdebilim İnanç Ölçeği, Eleştirel Düşünme ölçekleri Takımı ve araştırmacı tarafından geliştirilen öğrenci görüşme formları kullanılmıştır. Verilerin analizinde, karışık ölçümler için iki yönlü varyans analizi ve içerik analizi kullanılmıştır. Ayrıca veri analizlerinde, SPSS 18.0 paket programı ve Nvivo 12 nitel veri analizi programından yararlanılmıştır. Araştırmanın bulgularına göre, 7. sınıf öğrencilerinin eleştirel düşünme becerileri orta, sözdebilimsel inançları yüksektir. Tasarlanan öğretim etkinlikleri öğrencilerin eleştirel düşünme becerilerini arttırmış, sözdebilimsel inançlarını azaltmıştır. Öğrenci görüşlerinde tespit edilen hatalı bilimsellik ölçütleri, mantığa bürüme, etkililik, bilimsel kavramlar içerme, otoriteye dayanma, kaynak içerme, geçmişten gelen bilgi ve çoğunluk görüşüdür. Öğrenci görüşlerinde tespit edilen bilimsellik ölçütleri ise ölçütleri kanıtlanabilirlik, test edilebilirlik, tutarlılık, tekrarlanabilirlik, bilim dünyasının desteği, mantığa aykırılık ve kasıtlı bilimsel jargondur. Yapılan sözdebilimsel içerikli etkinlikler arasında öğrencilerin en fazla hataya düştükleri etkinlikler astroloji ve antik astronot kuramı olmuştur. (shrink)

[...] Rousseau bir yandan çağının yükselen değerlerinden yararlanırken diğer yandan bu değerlerin içeriden eleştirisini yapmayı başarabilen düşünürlerden biri olduğu için fikirleri ölümünden asırlar sonra bile önemini yitirmemiştir. Demokratik devletlerin meşruiyet krizinin giderek derinleştiği ve çoğunlukçu, majoritarian, ideolojilerin etraflıca sorgulanmaya başlandığı çağımızda, demokrasiyi çoğunluk kararına ek olarak “rıza”, “Yurttaşlık”, “sivil özgürlük”, “kamusal uzlaşı” ve “Genel İrade” kavramlarıyla birlikte ele alan Rousseau’yu yeniden okumak önemlidir [...] Rousseau-demokrasi ilişkisinin kazılıp ortaya çıkartılacağı bu metinde uğranılacak olan kavramsal duraklar sırasıyla: Eşitsizlik (doğal ve toplumsal), (...) özgürlük (doğal ve sivil), politik bütün (bodypolitic), Genel İrade, ortak iyi (common good) ve Egemen olmalıdır. Söz konusu kavramlar, Rousseau’nun onlara yüklediği özgün anlamları gözden kaçırılmadan sanki ilk defa karşılaşılıyormuşçasına bir zihin açıklığı ile okundukları zaman, onun demokrasi görüşü de gün ışığına çıkartılabilir. (shrink)

Azərbaycan elm tarixini tədqiq edərkən dövrün tələbindən çıxış edilərək ərəb və fars dillərində yazılmış çoxlu əsərlərə rast gəlirik. Bu əsərlərdən biri də dahi alim Nəsirəddin Tusinin fars dilində məntiqə dair yazdığı Əsasül-iqtibas əsəridir. Əsər ilk dəfə 2022-ci ildə nəşr edilərək oxucu və tədqiqatçıların ixtiyarına verilmişdir. Əsasül-iqtibas əsəri XIII əsrin ortalarında yazılmışdır. Əsərin yazılmasından təqribən səkkiz əsrə yaxın vaxt keçmişdir. Bu müddət ərzində həmin əsərdə istifadə edilən bir sıra termin və sözlər artıq müasir fars dilində istifadə edilmir. Əsərin məntiqə aid olması (...) və həm də bir sıra sözlərin günümüzdə istifadə edilməməsi onun tərcüməsini çətinləşdirən amillər kimi qeyd etmək olar. Bundan əlavə burada istifadə edilən bəzi terminlərin gündəlik danışığımzda fərqli mənada istifadə edildiyindən həmin sözlərin və terminlərin izah edilməsi zərurəti yaranmışdır. Habelə orta əsr müəlliflərinin əsərlərinin tədqiqi zamanı eyni bir sözün müxtəlif müəlliflər tərəfindən fərqli mənalarda işlədildiyinin də şahidi oluruq ki, bu da həmin termin və anlayışların Azərbaycan dilinə tərcüməsi zamanı izahının verilməsinə ehtiyac yaradır. Hal-hazırda müraciət etdiyiniz bu kitab Nəsirəddin Tusinin ən mühüm və genişhəcmli əsərlərindən biri olan “Əsasül-iqtibas”-ın tərcüməsi zamanı əsərin orijinalında işlədilmiş ərəb-fars sözlərinin izahlı tərcüməsi yönündə tərtib edilmişdir. Bu lüğətlərin tərcüməsi və izahı ilə tanış olmaqla Nəsirəddin Tusinin ərəb-fars dillərində yazılmış digər əsərlərinin tərcüməsi zamanı da yararlanmaq olar. Müəyyən bir ixtisas və peşəni və ya həmin peşə və ixtisasa aid olan terminləri başa düşmək üçün həmin istiqamət üzrə tərtib edilən terminolji lüğətlərə ehtiyac duyulur. Bu istiqamətdə zaman-zaman müxtəlif ixtisaslar üzrə terminoloji lüğətlərin nəşr edildiyini müşahidə edirik. Azərbaycan dilində məntiqi terminlərin izahından ibarət xüsusi termonoloji lüğətlərin də tərtib edilməsi zərurəti vardır. Çünki məntiq terminlərinin izahınına adətən rus dilində yazılmış ədəbiyyatda, bir neçə terminin izahı verilmiş məntiq kitablarında və ya fəlsəfi terminlərdən ibarət ensiklopediya və lüğətlərdə rast gəlmək mümkündür. Bir tərəfdən, yaranmış boşluğu doldurmaq, digər tərəfdən isə məntiq ixtisası üzrə təhsil alan tələbə və mütəxəssislərə kömək etmək üçün bu lüğəti tərtib etmək qərarına gəldik. 222 sözün izah və tərcüməsindən ibarət olan bu kitabı həmin istiqamətdə olan boşluğu doldurmaq üçün kiçik və eyni zamanda mühüm bir addım hesab etmək olar. Burada sözlərin tərcüməsi ilə yanaşı bir sıra terminlərin izahı da verilmişdir. Əsasən Əsasül-iqtibas adlı məntiqi əsəri tərcümə edərkən qarşıya çıxan çətin və mürəkkəb sözlərin izahının verilməsinə üstünlük verilmişdir. Tərcümə zamanı müxtəlif illərdə nəşr edilən Əsasül-iqtibas əsərlərinə də müraciət edilmişdir. Bu əsərlərin bəzisində Əsasül-iqtibas əsərində istifadə edilən bəzi terminlərin izahı da verilmişdir. Bu izahlar bəzən tərcümə zamanı ifadənin daha səlis və daha dəqiq başa düşülməsinə imkan vermişdir. Bu lüğət kitabı tərtib edilərkən həmin əsərlərdə mövcud olan terminlər və onların izahından da istifadə edilmişdir. Bəzən məntiqi terminlərlə yanaşı kəlam, fəlsəfə və s. elmlərdə istifadə edilən terminləri də qeyd etmişik. Çünki bu terminlər bizə məntiqdə işlədilən bəzi ifadələrin daha asan başa düşülməsinə imkan verəcəkdir. “Əsasül-iqtibasa dair terminlər” lüğəti adlı bu kitabı bu sahədə atılmış ilk addımlardan biri olduğu üçün gələcəkdə daha sanballı və həcmcə daha geniş terminoloji lüğətlərin hazırlanması nəzərdə tutulur. (shrink)

Informatics is generally understood as a “new technology” and is therewith discussed according to technological aspects such as speed, data retrieval, information control and so on. Its widespread use from home appliances to enterprises and universities is not the result of a clear-cut analysis of its inner possibilities but is rather dependent on all sorts of ideological promises of unlimited progress. We will discuss the theoretical definition of informatics proposed in 1936 by Alan Turing in order to show (...) that it should be taken as final and complete. This definition has no relation to the technology because Turing defines computers as doing the work of solving problems with numbers. This formal definition implies nonetheless a relation to the non-formalized elements around informatics, which we shall discuss through the Greek notion of téchne. (shrink)

Bilim ve çarpık bilim arasına sınır çizebilmek için yapılan girişimler farklı teorilerin gelistirilmesini sağlamıştır. Henüz net bir sınır çizilememiştir ve tartışmalar devam etmektedir. İlk olarak doğrulama ve yanlışlama teorileri daha sonraları ise bilim çalışmalarını bir bütün olarak ele alan, araştırma programları olarak gören teoriler sunulmuştur. Bilimsel çalışmaların, yeni sorunlar üretmesi ve eleştirel bakış açısına sahip olması da bilim olanın sınırlarını çizebilmek için ölçütler arasında sayılmıştır. Bu çabalar ile bilim pratiklerinin irdelenmesi zamanla bilim insanına ve bilim kurumlarına yönelmiştir. Bu konunun (...) önemli bir sorunu bilim yolu ile ulaşabileceğimiz doğru bilginin ne olduğu ile neyin bilim olarak ele alınabileceğinin tek bir sorun gibi ele alınmasıdır. Bilimsel doğrunun ne olduğu ile bilimsel bilginin ne olduğu tartışması iç içe yürütülmektedir. Bir diğer sorun ise bilimin sınırlarını belirlerken bilim çalışmaları dışında etik ve sosyal ölçütler aranmasıdır. Bu yaklaşımlar konuyu çözümsüz bir noktaya götürmektedir. Diğer önemli nokta Astroloji örneğinin yanlış bilgilerle ele alınmasıdır. Bu çalışmada tartışmanın bilim pratiklerinde kalması gerektiği savunulmuştur. Çarpık bilimi ayırmak için sık kullanılan Astroloji örneği yeniden ele alınarak yanlış yargılara sebep olan bilgiler düzeltilmeye çalışılmıştır. Ayrıca önermelerin bilimsel doğruyu ayırma konusundaki önemi ve durumu tartışılmış böylece neyin bilim, neyin bilimsel doğru ve neyin bilim dışı olduğu netleştirilmeye çalışılmıştır. (shrink)

Alan Turing, one of the fathers of computing, warned that Artificial Intelligence (AI) could one day pose an existential risk to humanity. Today, recent advancements in the field AI have been accompanied by a renewed set of existential warnings. But what exactly constitutes an existential risk? And how exactly does AI pose such a threat? In this chapter we aim to answer these questions. In particular, we will critically explore three commonly cited reasons for thinking that AI poses (...) an existential threat to humanity: the control problem, the possibility of global disruption from an AI race dynamic, and the weaponization of AI. (shrink)

In 1949, the Department of Philosophy at the University of Manchester organized a symposium “Mind and Machine” with Michael Polanyi, the mathematicians Alan Turing and Max Newman, the neurologists Geoff rey Jeff erson and J. Z. Young, and others as participants. Th is event is known among Turing scholars, because it laid the seed for Turing’s famous paper on “Computing Machinery and Intelligence”, but it is scarcely documented. Here, the transcript of this event, together with Polanyi’s (...) original statement and his notes taken at a lecture by Jeff erson, are edited and commented for the fi rst time. Th e originals are in the Regenstein Library of the University of Chicago. Th e introduction highlights elements of the debate that included neurophysiology, mathematics, the mind-body-machine problem, and consciousness and shows that Turing’s approach, as documented here, does not lend itself to reductionism. (shrink)

This issue of the Kybernetes journal is concerned with the philosophical question- Can a Machine Think? Famously, in his 1950 paper `Computing Machinery andIntelligence' [9], the British mathematician Alan Turing suggested replacing this question - which he found \too meaningless to deserve discussion" - with a simple -behavioural - test based on an imagined `Victorianesque' pastime he entitled the`imitation game'. In this special issue of Kybernetes a selection of authors with a special interest in Turing's work (including (...) those who participated in the 2008 AISB Turing Symposium) have been invited to explore and clarify issues arising from Turing's 1950 paper on the Imitation Game; now more widely known as the Turing test. (shrink)